Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
991	In the need of a design. . . reverse engineering Erlang software Thomas Arts1 and Cecilia Holmqvist2 1 IT university in G¨ Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-11 05:57:33 Automata theory Digital electronics UML diagrams Diagrams Theoretical computer science Erlang Finite-state machine UML state machine State diagram Models of computation Software engineering Computing
992	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics
993	Self-Reproduction Lecture Notes. Marvin Minsky, Nov. 18, 2003 Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:13 Computer virus Cultural anthropology Computability theory Models of computation Virus Cellular automaton Meme Brain John von Neumann Science Mathematics Cognition
994	UML Tutorial: Complex Transitions Robert C. Martin Engineering Notebook Column C++ Report, September 98 In my last column I talked about UML Finite State Machine diagrams. In this column we will be Add to Reading List Source URL: www.objectmentor.com Language: English - Date: 2012-12-22 21:29:00 Digital electronics Theoretical computer science Diagrams Computer science Software engineering UML state machine Toaster Finite-state machine State diagram Models of computation UML diagrams Automata theory
995	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
996	Microsoft PowerPoint - computer-science-education Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2004-11-02 16:09:56 Computability theory Theoretical computer science Alan Turing Theory of computation Computer science education Informatics Vasant Honavar Turing machine Algorithm Computer science Science Mathematics
997	Microsoft Word - ijita12-3.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Turing machine Models of computation Computability theory Formal methods NP Computability Algorithm Artificial intelligence Ordinal number Theoretical computer science Applied mathematics Theory of computation
998	Fundamentals of Computing Leonid A. Levin These are notes for the course CS-172 I first taught in the Fall 1986 at UC Berkeley and subsequently at Boston University. The goal was to introduce the undergraduates to basic Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2015-03-30 07:56:29 Computer science Theory of computation Alan Turing Turing machine Models of computation Computable function Turing reduction Universal Turing machine Halting problem Computability theory Theoretical computer science Mathematics
999	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
1000	Sambo_QoTEstimations_rev2.dvi Add to Reading List Source URL: www.pointurier.org Language: English - Date: 2011-01-03 02:29:15 Path computation element A New Kind of Science Estimation theory Routing Applied mathematics Electronic engineering Routing and wavelength assignment Statistics Kriging